Changing Cardinal Characteristics without Changing Ω-sequences or Cofinalities
نویسنده
چکیده
We show: There are pairs of universes V1 ⊆ V2 and there is a notion of forcing P ∈ V1 such that the change mentioned in the title occurs when going from V1[G] to V2[G] for a P -generic filter G over V2. We use forcing iterations with partial memories. Moreover, we implement highly transitive automorphism groups into the forcing orders.
منابع مشابه
The Calculus of Partition Sequences, Changing Cofinalities, and a Question of Woodin
We study in this paper polarized infinite exponent partition relations. We apply our results to constructing a model for the theory “ZF+DC+ω1 is the only regular, uncountable cardinal ≤ ωω1+1.” This gives a partial answer to a question of Woodin. In 1994, J. Steel proved what had long been suspected: that assuming AD, the regular cardinals of L(R) below Θ are all measurable, where Θ is the leas...
متن کاملDropping cofinalities and gaps
Our aim is to show the consistency of 2κ ≥ κ+θ, for any θ < κ starting with a singular cardinal κ of cofinality ω so that ∀n < ω∃α < κ(o(α) = α). Dropping cofinalities technics are used for this purpose. 1 א1-gap and infinite drops in cofinalities Let κ be a singular cardinal of cofinality ω such that for each γ < κ and n < ω there is α, γ < α < κ, such that o(α) = α. We fix a sequence of cardi...
متن کاملLarge Cardinals and Lightface Definable Well-Orders, without the GCH
This paper deals with the question whether the assumption that for every inaccessible cardinal κ there is a well-order of H(κ+) definable over the structure 〈H(κ+),∈〉 by a formula without parameters is consistent with the existence of (large) large cardinals and failures of the GCH. We work under the assumption that the SCH holds at every singular fixed point of the i-function and construct a c...
متن کاملChanging the Heights of Automorphism Towers
If G is a centreless group, then τ(G) denotes the height of the automorphism tower of G. We prove that it is consistent that for every cardinal λ and every ordinal α < λ, there exists a centreless group G such that (a) τ(G) = α; and (b) if β is any ordinal such that 1 ≤ β < λ, then there exists a notion of forcing P, which preserves cofinalities and cardinalities, such that τ(G) = β in the corr...
متن کاملIndescribable cardinals without diamonds
where E is a stationary subset of some cardinal ~. Jensen (cf. I-D2]) showed that if K is regular and uncountable and V=L then O~,E holds. Following his work, a number of applications of this principle and its modifications have been developed which are wide ranging and not restricted to set theory (cf. [-D1]). Jensen had also discovered that various large cardinals carry diamond sequences with...
متن کامل